Non-Monotonic Reasoning in FLORID
نویسنده
چکیده
The advantages of Florid as a deductive object{oriented database system are the rich object{oriented modeling facilities of its language F-logic. The focus of this paper is on Florid's multiple inheritance mechanism which turns out to be a useful means to adapt various examples of nonmonotonic reasoning in the object{oriented setting.
منابع مشابه
Complexity of Non-Monotonic Logics
Over the past few decades, non-monotonic reasoning has developed to be one of the most important topics in computational logic and artificial intelligence. The non-monotonicity here refers to the fact that, while in usual (monotonic) reasoning adding more axioms leads to potentially more possible conclusions, in non-monotonic reasoning adding new facts to a knowledge base may prevent previously...
متن کاملNon-Monotonic Reasoning with Logic Programming
Our purpose is to exhibit a modular systematic method of representing non{ monotonic reasoning problems with the Well Founded Semantics WFS of extended logic programs augmented with eXplicit negation (WFSX), augmented by its Contradiction Removal Semantics (CRSX) when needed. We apply this semantics, and its contradiction removal semantics counterpart, to represent non-monotonic reasoning probl...
متن کاملCan Formal Non-monotonic Systems Properly Describe Human Reasoning?
Monotonic (logical) reasoning makes the strong claim that an inference cannot be contradicted by future information; an assumption contrary to everyday life experience. This assumption is relaxed in non-monotonic reasoning. However, there are only few formal non-monotonic theories of reasoning that have inspired psychological theory-building. Can formal systems such as cumulative logic (system ...
متن کامل(Some) Default and Non-Monotonic Aspects of Qualitative Spatial Reasoning: A Preliminary Report
We present some scenarios where default and/or nonmonotonic reasoning patterns are either necessary or useful for the modelling of dynamic spatial environments. The identified instances bear a direct relationship to the fundamental epistemological issues relevant to the frame and ramification problems; these are cases where a typical use of nonmonotonicity is necessary at a meta-theoretical or ...
متن کاملLogic Programming for Non-Monotonic Reasoning
Our purpose is to exhibit a modular systematic method of representing nonmonotonic reasoning problems with the Well Founded Semantics of extended logic programs aumented with eXplicit negation (WFSX), augmented by its Contradiction Removal Semantics (CRSX) when needed. We show how to cast in the language of such logic programs forms of non-monotonic reasoning like defeasible reasoning and hypot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997